Скотт, Дана

Скотт, Дана
Дана Скотт
Dana Stewart Scott
Scott Dana small.jpg
Дата рождения:

11 октября 1932(1932-10-11) (80 лет)

Страна:

Flag of the United States.svg США

Научная сфера:

Топология,
Математическая логика,
Программирование

Научный руководитель:

Алонзо Чёрч

Известен как:

топология Скотта

Награды и премии


премия Тьюринга (1976), Премия Рольфа Шока (1997)

Сайт:

http://www.cs.cmu.edu/~scott

Да́на Стю́арт Скотт (англ. Dana Stewart Scott , р. 11 октября 1932 года) — американский математик, известный работами в области математической логики и информатики.

Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.

Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений[1]. Им была разработана модель бестипового λ-исчисления[2], для чего было введена специальная топология (позднее названная его именем), вначале на полных решётках, и впоследствии обобщенная до полных частично упорядоченных множеств[3][4]. В рамках этой модели развил теорию и модели вычислений, разработал принципы денотационной семантики языков программирования, углубил понятие о вычислимости.

По состоянию на 2012 год работает и проживает в Беркли, Калифорния.

Содержание

Основные работы

  • Scott D.S. Advice on modal logic. — Philosophical problems in logic. Some recent developments.-- Lambert K. (ed.), Dordrecht; Holland: Reidel, 1970.
Русский перевод: Скотт Д. С. Советы по модальной логике. — В кн.: Семантика модальных и интенсиональных логик. — Под. ред. д.ф.н. В. А. Смирнова. — М.: ``Прогресс, 1981. — с.~280-317.
  • Scott D.S., Strachey C. Towards a mathematical semantics for computer languages. — In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. — pp.~19—46.
  • Scott D.S. Logic and programming languages. — Comm. Assoc. for Comp. Mach. 20, 1977. — pp. 634–641.
Русский перевод: Скотт Д. С. Логика и языки программирования. — Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). — М.: Мир, 1993. — с.~65-83.
  • Scott D.S. Relating theories of the lambda calculus. — Hindley J., Seldin J. (eds.) To H.B.Curry: Essays on combinatory logic, lambda calculus and formalism.-- N.Y. & L.: Academic Press, 1980, pp.~403-450.

Примечания

  1. Scott D.S. Outline of mathematical theory of computation. In: Proc. 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University, 1970. — pp.~169—176.
  2. Scott D.S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.
  3. Scott D.S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.
  4. Барендрегт, Хенк Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics. — М.: Мир, 1985. — С. 24. — 606 с. — 4800 экз.

Ссылки

См. также



Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "Скотт, Дана" в других словарях:

  • Скотт, Дана Стюарт — В Википедии есть статьи о других людях с фамилией Скотт. Дана Скотт Dana Stewart Scott Дата рождения …   Википедия

  • Скотт Дана Стюарт — …   Википедия

  • Скотт — Содержание 1 Мужчины 1.1 A 1.2 Б 1.3 В …   Википедия

  • Дана Стюарт Скотт — Дана Скотт Dana Stewart Scott Дата рождения: 1932(1932) Гражданство …   Википедия

  • Дана Скотт — Dana Stewart Scott Дата рождения: 1932(1932) Гражданство …   Википедия

  • Дана — Дана: Имя или фамилия Дана (женское имя) Дана (мужское имя) В мифологии Дана (славянская мифология) Дана (кельтская мифология) Дана (ведийская мифология) Знаменитые носители Фамилия Дана, В …   Википедия

  • Скотт Вальтер — (1771 1832) английский писатель, родом шотландец. (Начало статьи в сохранившейся верстке 10 тома «Литературнойэнциклопедии» отсутствует. Ред. ФЭБ.). (...); средневековья отнюдь не затушевываются. «Ужасы» феодализма (тюрьма, казни) получают… …   Литературная энциклопедия

  • Скотт — Скотт, Вальтер (1771 1831) знаменитый английский романист и поэт. Его исторические романы соединяют в себе важнейшие элементы романтизма: интерес к родной старине и народному творчеству, к патриархальному быту и цельному, непосредственному… …   1000 биографий

  • Скотт, Эшли — Эшли Скотт Ashley McCall Scott …   Википедия

  • Скотт, Стефани — Стефани Скотт Stefanie Scott …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»